Slight Symmetry Reduction in Thermoelectrics
نویسندگان
چکیده
منابع مشابه
Vector Symmetry Reduction
Symmetry reduction is an effective state-space reduction technique for model checking, and works by restricting search to equivalence class representatives with respect to a group of symmetries for a model. A major problem with symmetry reduction techniques is the time taken to compute the representative of a state, which can be prohibitive. In efficient implementations of symmetry reduction, a...
متن کاملSymmetry Reduction without Transversality
We present a generalization of Lie’s method for finding the group invariant solutions to a system of partial differential equations. Our generalization relaxes the standard transversality assumption and encompasses the common situation where the reduced differential equations for the group invariant solutions involve both fewer dependent and independent variables. The theoretical basis for our ...
متن کاملVirtual Symmetry Reduction
We provide a general method for ameliorating state explosion via symmetry reduction in certain asymmetric systems, such as systems with many similar, but not identical, processes. The method applies to systems whose structures (i.e., state transition graphs) have more state symmetries than arc symmetries. We introduce a new notion of “virtual symmetry” that strictly subsumes earlier notions of ...
متن کاملSymmetry and symplectic reduction
This encyclopedia article briefly reviews without proofs some of the main results in symplectic reduction. The article recalls most the necessary prerequisites to understand the main results, namely, group actions, momentum maps, and coadjoint orbits, among others.
متن کاملProbabilistic symmetry reduction
Model checking is a technique used for the formal verification of concurrent systems. A major hindrance to model checking is the so-called state space explosion problem where the number of states in a model grows exponentially as variables are added. This means even trivial systems can require millions of states to define and are often too large to feasibly verify. Fortunately, models often exh...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Chem
سال: 2018
ISSN: 2451-9294
DOI: 10.1016/j.chempr.2018.04.013